Submit Program | Contact us
downloads programs from a to z
If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errors and
Search:
 » Home » Development » Java » Wasp Static Error Checker 3.2
Company: AcademSoft
License: Shareware
Version: 3.2
System: Win 95/98/NT/2000/XP
Size: 975KB
Date Released: April 19, 2003
Price: $299
Screenshot: Click here to see Screenshot
Downloads: 1207
Homepage: http
Date added: Sep 22, 2005
Click here to Download
If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errors and weak points in your program.

The following kinds of errors may be statically detected:null pointer exception, impermissible cast, array index out of bounds, division by zero, etc.

The following kinds of weak points may be detected:uninitialised variable,unreachable branch in conditional or switch statement,unreachable loop body or catch clause, assignment of variable whose value is never used, unreachable main exit of method, etc.

Wasp produces detailed and precise method call graph.
The method call graph of a program helps to know for each method what actual methods are called in its body.
Additionally, for each method you may know where this method may be called.

In comparison with other static error analysers,
Wasp has two important advantages.

Wasp is able to distinguish between a definite error, a possible error (warning), and a potentially erroneous situation.

In the latter case, Wasp produces a message called conditional error that in practice appear to indicate an errorin approximately one case from five.
Wasp performs context-sensitive data flow analysis, so it is able to recognize an error that appears only for some calls of the method containing it, but does not for other ones.

All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc) that statically detect run-time errors may produceonly long lists of warnings because they can not recognize definite errors in a program due to weak analyses applied. A user has to waste much time to analyse all warnings.

Wasp has proven its ability to find subtle bugs in programs evenafter debugging and testing stages of development because Waspdetects situations of real complexity.

NEWS

So far, nothing for that!

RECOMMENDED DOWNLOADS IN THIS CATEGORY

 » Home  » Development » Java (10) Select page: [1]
 » xFunction for Windows 2.16
The xFunction library is the universal solution for integration of Java code with code written in other languages, superior in many aspects to Java Native Interface (JNI). With xFunction, you no longer need to implement those ugly native methods. Instead, ...
Excelsior, LLC | 176KB | Win 95/98/ME/NT/2000/XP | $50 | Downloads: 1185
Date added: Sep 22, 2005 |  » Details
 » PANNASOFT INGENUITY 1.x
Artificial neural networks (ANNs) resembled the human nervous system, with algorithms consisting of weighted interconnecting processing units (like neural map of the human brain). To address a particular problem using ANNs, the interrelated connections ar ...
PANNASOFT TECHNOLOGIES SDN BHD | 2079KB | Not Applicable | $2000.00 | Downloads: 1190
Date added: Sep 22, 2005 |  » Details
 » Aspose.Excel for Java 1.0
Aspose.Excel for Java is a Java spreadsheet creation engine. It can read, modify and write Excel file in different platforms, such as Windows, Linux and Unix. With this component, your Java programs will have the ability to present data in the most popula ...
Aspose Pty Ltd | 828KB | Win 2000/XP | $449 | Downloads: 1186
Date added: Sep 22, 2005 |  » Details
 » Aspose.Pdf For Java 1.0
Aspose.Pdf For Java is a Java Pdf document reporting component. With it, you can: you to converting an existing XML file stream(.xml) plus a style-sheet file (.xsl) to a new a PDF file stream;Converting an existing FO file stream to a new PDF file stream; ...
Aspose Pty Ltd | 519KB | Win 2000/XP | $329 | Downloads: 1177
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Community Edition) for Windows 5.0
Visual Paradigm for UML (VP-UML) is a superior UML tool that supports full software lifecycle - analysis, design, construction, testing and deployment. The UML modeling software helps you build quality applications faster, better and cheaper. You can draw ...
Visual Paradigm | 102529KB | Win 95/98/ME/NT/2000/XP | 0 | Downloads: 1114
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Standard Edition) for Windows 5.0
Visual Paradigm for UML is a professional UML tool that supports complete software lifecycle - object-oriented analysis, object-oriented design, construction, testing and deployment. The UML modeling software helps you build quality applications faster, b ...
Visual Paradigm | 102519KB | Win 95/98/ME/NT/2000/XP | $299 | Downloads: 1054
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Professional Edition) for Windows 5.0
Visual Paradigm for UML (VP-UML) is a superior UML tool that supports full software lifecycle - analysis, design, construction, testing and deployment. The UML modeling software helps you build quality applications faster, better and cheaper. You can draw ...
Visual Paradigm | 189028KB | Win 95/98/ME/NT/2000/XP | $699 | Downloads: 1107
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Professional Edition) for Java Platform 5.0
Visual Paradigm for UML is a professional and user-friendly UML modeling tool that supports complete software lifecycle - analysis, design, construction, testing and deployment. The UML CASE tool helps you build quality applications faster, better and at ...
Visual Paradigm | 92230KB | Win 95/98/ME/NT/2000/XP | $699 | Downloads: 1084
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Standard Edition) for Java Platform 5.0
Visual Paradigm for UML (VP-UML) is a superior but user-friendly UML modeling tool that supports full software lifecycle - analysis, design, construction, testing and deployment. The UML CASE tool helps you build quality applications faster, better and ch ...
Visual Paradigm | 86539KB | Win 95/98/ME/NT/2000/XP | $299 | Downloads: 1132
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Standard Edition) for Mac OS X 5.0
Visual Paradigm for UML is a user-friendly, full-featured UML modelling tool that supports full software development lifecycle - analysis, design, construction, testing and deployment. The UML modeling tool helps you build quality applications faster, bet ...
Visual Paradigm | 86539KB | Win 95/98/ME/NT/2000/XP | $299 | Downloads: 1120
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Modeler Edition) for Windows 5.0
Visual Paradigm for UML is a powerful UML tool that supports complete software life-cycle - object-oriented analysis, object-oriented design, implementation, testing and deployment. This UML modeling software helps you build quality applications faster, b ...
Visual Paradigm | 189028KB | Win 95/98/ME/NT/2000/XP | $99 | Downloads: 1051
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Modeler Edition) for Java Platform 5.0
Visual Paradigm for UML (VP-UML) is a superior but user-friendly UML modeling tool that supports full software lifecycle - analysis, design, construction, testing and deployment. The UML CASE tool helps you build quality applications faster, better and ch ...
Visual Paradigm | 92230KB | Win 95/98/ME/NT/2000/XP | $99 | Downloads: 1119
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Modeler Edition) for Mac OS X 5.0
Visual Paradigm for UML is a user-friendly, full-featured UML modelling tool that supports full software development lifecycle - analysis, design, construction, testing and deployment. The UML modeling tool helps you build quality applications faster, bet ...
Visual Paradigm | 92230KB | Win 95/98/ME/NT/2000/XP | $99 | Downloads: 1114
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Personal Edition) for Windows 5.0
Visual Paradigm for UML (VP-UML) is a powerful UML tool that supports full software life-cycle - analysis, design, implementation, testing and deployment. This UML modeling software helps you build quality applications faster, better and cheaper. You can ...
Visual Paradigm | 189028KB | Win 95/98/ME/NT/2000/XP | $59 | Downloads: 1099
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Personal Edition) for Java Platform 5.0
Visual Paradigm for UML is a professional but easy-to-use UML modeling tool that supports complete software life-cycle - analysis, design, implementation, testing and deployment. This UML CASE tool helps you build quality applications faster, better and a ...
Visual Paradigm | 92230KB | Win 95/98/ME/NT/2000/XP | $59 | Downloads: 1095
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Personal Edition) for Linux 5.0
Visual Paradigm for UML is a professional, easy-to-use UML modeling tool that supports complete software lifecycle - analysis, design, coding, testing and deployment. This CASE tool helps you build quality applications faster, better and at lower cost. Yo ...
Visual Paradigm | 208388KB | Linux | $59 | Downloads: 1097
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Personal Edition) for Mac OS X 5.0
Visual Paradigm for UML is an easy-to-use, full-featured UML modelling tool that supports complete software development life-cycle - analysis, design, construction, testing and deployment. This UML modeling tool helps you build quality applications faster ...
Visual Paradigm | 92230KB | Win 95/98/ME/NT/2000/XP | $59 | Downloads: 1137
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Professional Edition) for Linux 5.0
Visual Paradigm for UML is a professional, user-friendly UML modeling tool that supports complete software lifecycle - analysis, design, coding, testing and deployment. The CASE tool helps you build quality applications faster, better and at lower cost. Y ...
Visual Paradigm | 208388KB | Linux | $699 | Downloads: 1137
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Community Edition) for Linux 5.0
Visual Paradigm for UML (VP-UML) is a powerful, easy-to-use UML modeling tool that supports full software lifecycle - analysis, design, coding, testing and deployment. This CASE tool helps you build quality applications faster, better and cheaper. You can ...
Visual Paradigm | 119059KB | Linux | 0 | Downloads: 1067
Date added: Sep 22, 2005 |  » Details
 » Visual Paradigm for UML (Community Edition) for Mac OS X 5.0
Visual Paradigm for UML (VP-UML) is an easy-to-use, full-featured UML modelling tool that supports full software life-cycle - analysis, design, construction, testing and deployment. This UML modeling tool helps you build quality applications faster, bette ...
Visual Paradigm | 86547KB | Not Applicable | 0 | Downloads: 1078
Date added: Sep 22, 2005 |  » Details
go to top Select page: [1]
What Font is | fonts | free fonts | download fonts | free fonts download | web fonts |